-
1 верификация программы
Большой англо-русский и русско-английский словарь > верификация программы
-
2 верификация программы
Англо-русский словарь технических терминов > верификация программы
-
3 формальная верификация
eng.formal verificationrus.формальная верификацияukr.формальна верифікаціяПреобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка.English-Russian dictionary of information security > формальная верификация
-
4 program validation
The English-Russian dictionary on reliability and quality control > program validation
-
5 verifying the program
верификация программы, подтверждение корректности программыEnglish-Russian dictionary of mechanical engineering and automation > verifying the program
-
6 program verification
верификация программы, проверка правильности программы
Англо-русский словарь по робототехнике > program verification
-
7 program verification
верификация программы; проверка правильности программыEnglish-Russian information technology > program verification
-
8 program verification
English-Russian dictionary of computer science > program verification
-
9 program verification
- проверка правильности программы
- верификация программы
- верификация программ
- верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
верификация программ
1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
EN
верификация программы
верификация
Доказательство того, что поведение программы соответствует спецификации на эту программу.
[ ГОСТ 19781-90]Тематики
- обеспеч. систем обраб. информ. программное
Синонимы
EN
проверка правильности программы
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Верификация
Program verification
Доказательство того, что поведение программы соответствует спецификации на эту программу
Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа
Англо-русский словарь нормативно-технической терминологии > program verification
-
10 program verification
1) Техника: верификация программы, проверка правильности программы2) Математика: верификация программ3) Вычислительная техника: проверка верификация программы, проверка правильности верификация программы4) Космонавтика: проверка программы5) Механика: контроль УП -
11 program verification
проверка правильности программы; верификация программы -
12 verification
ˌverɪfɪˈkeɪʃən сущ.
1) контроль, проверка;
сверка Syn: check, examination
2) удостоверение, подтверждение( предсказания, сомнения)
3) юр. засвидетельствование контроль, осуществление контроля;
проверка - subject to * подлежащий контролю - national technical means of * национальные технические средства контроля - to impede * затруднять осуществление контроля поверка( измерительного инструмента) ;
сверка (текста и т. п.) подтверждение;
установление подлинности( чего-л.) (редкое) утверждение, ратификация (юридическое) засвидетельствование;
удостоверения подтверждение обоснованности, правильности (чего-л.) (техническое) калибровка, градуировка, эталонирование, тарирование - * fire (военное) контрольная стрельба corporate tax ~ проверка правильности уплаты налога с доходов компании data ~ вчт. верификация данных financial ~ финансовая проверка keystroke ~ вчт. проверка путем нажатия клавиш keystroke ~ вчт. проверка путем нажатия кнопок program ~ вчт. верификация программы speech ~ comp. верификация речевых сигналов speech ~ comp. проверка правильности речевых сигналов tax ~ проверка правильности уплаты налогов verification доказывание обоснованности ~ доказывание правильности ~ заверка, засвидетельствование ~ юр. засвидетельствование ~ засвидетельствование ~ исследование ~ контроль ~ обоснование ~ поверка ~ подтверждение (предсказания, сомнения) ~ подтверждение, подтверждение под присягой ~ проверка ~ проверка ~ ревизия ~ сверка ~ удостоверение ~ установление подлинности ~ and validation испытания ~ of credentials проверка удостоверения личности ~ of gross profit on sales проверка торговой валовой прибыли ~ of stamp duty проверка гербового сбораБольшой англо-русский и русско-английский словарь > verification
-
13 verification
[ˌverɪfɪˈkeɪʃən]corporate tax verification проверка правильности уплаты налога с доходов компании data verification вчт. верификация данных financial verification финансовая проверка keystroke verification вчт. проверка путем нажатия клавиш keystroke verification вчт. проверка путем нажатия кнопок program verification вчт. верификация программы speech verification comp. верификация речевых сигналов speech verification comp. проверка правильности речевых сигналов tax verification проверка правильности уплаты налогов verification доказывание обоснованности verification доказывание правильности verification заверка, засвидетельствование verification юр. засвидетельствование verification засвидетельствование verification исследование verification контроль verification обоснование verification поверка verification подтверждение (предсказания, сомнения) verification подтверждение, подтверждение под присягой verification проверка verification проверка verification ревизия verification сверка verification удостоверение verification установление подлинности verification and validation испытания verification of credentials проверка удостоверения личности verification of gross profit on sales проверка торговой валовой прибыли verification of stamp duty проверка гербового сбора -
14 verifying the program
-
15 program verification
проверка правильности [верификация] программыБольшой англо-русский и русско-английский словарь > program verification
-
16 program verification
проверка правильности [верификация] программыEnglish-Russian dictionary of computer science and programming > program verification
-
17 program verification
проверка правильности [верификация] программыThe English-Russian dictionary on reliability and quality control > program verification
-
18 code audit
верификация кода
Проверка соответствия кода [программы] для ЭВМ установленным техническим требованиям.
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > code audit
-
19 program verification
верификация [проверка правильности\] программыАнгло-русский словарь технических терминов > program verification
-
20 verification
[ˌverɪfɪ'keɪʃ(ə)n]1) Общая лексика: верификация (в Киотском протоколе: процесс независимой экспертизы проекта независимым органом на предмет соответствия критериям СО. Это проверка расчетов базовой линии, планов и результатов, мониторинга, осуществляемая независимой органи), засвидетельствование, исполнение (предсказания), осуществление контроля, подтверждение (предсказания, сомнения), проверка, контрольная проверка (любая независимая проверка), удостоверение (регистрации ценных бумаг), исследование, верификация (в фарм.производстве) (подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены. При аттестации (верификации) документированной системы кон)2) Морской термин: проверка (на местности)3) Медицина: контроль4) Военный термин: инспекция5) Техника: верификация, поверка6) Математика: оправдание7) Юридический термин: заверка, заверять, засвидетельствовать, подтверждать, подтверждать под присягой, подтверждение под присягой, сверка, удостоверение, удостоверять8) Экономика: проверка правильности регистрации (при переписи)9) Бухгалтерия: проверка правильности регистрации10) Фармакология: показатели подлинности11) Автомобильный термин: проверка (напр. по калибру)12) Дипломатический термин: контроль за выполнением соглашения, проверка соблюдения соглашения, доказывание обоснованности правильности (чего-л.)13) Лесоводство: эксперимент14) Психология: подтверждение подлинности, установление истинности15) Вычислительная техника: проверка полномочий (напр. доступа к данным), поверка (средств измерений)16) Космонавтика: функциональная проверка17) Картография: поверка инструмента, поверка (на местности)18) Банковское дело: установление подлинности19) Реклама: установление истины20) Деловая лексика: доказывание обоснованности, доказывание правильности, обоснование, ревизия21) Микроэлектроника: подтверждение правильности22) ЕБРР: выверка, проверка подлинности23) Автоматика: подтверждение корректности (программы)24) Кабельные производство: калибровка25) Макаров: градуировка, подтверждение обоснованности, правильности, проверка измерительного инструмента, ратификация, тарирование, эталонирование, сверка (текста и т.п.)26) Безопасность: проверка правильности, процедура проверки, процедура, определяющая, является ли данный человек тем, за кого себя выдаёт (сравнение 1: 1)
- 1
- 2
См. также в других словарях:
верификация программы — верификация Доказательство того, что поведение программы соответствует спецификации на эту программу. [ГОСТ 19781 90] Тематики обеспеч. систем обраб. информ. программное Синонимы верификация EN program verification … Справочник технического переводчика
Верификация программы — 54. Верификация программы Верификация Program verification Доказательство того, что поведение программы соответствует спецификации на эту программу Источник: ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и… … Словарь-справочник терминов нормативно-технической документации
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
ВЕРИФИКАЦИЯ — (от лат. verificatio доказательство, подтверждение) установление истинности или эмпирической осмысленности научных утверждений. Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С… … Философская энциклопедия
верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification … Справочник технического переводчика
верификация кода — Проверка соответствия кода [программы] для ЭВМ установленным техническим требованиям. [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN code audit … Справочник технического переводчика
верификация программ — 1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается. 2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873). [Домарев В.В. Безопасность… … Справочник технического переводчика
Верификация — Позитивизм … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… … Википедия
ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения — Терминология ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа: 9. Абсолютная программа Non relocatable program Программа на машинном языке, выполнение которой зависит от ее… … Словарь-справочник терминов нормативно-технической документации
